A functional partial semantics for intensional logic.

JOURNAL ARTICLE published 1 September 1992 in Notre Dame Journal of Formal Logic

Authors: Serge Lapierre

Existentially Closed Closure Algebras

JOURNAL ARTICLE published 1 November 2020 in Notre Dame Journal of Formal Logic

Authors: Philip Scowcroft

Non-Fregean Propositional Logic with Quantifiers

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

Authors: Joanna Golińska-Pilarek | Taneli Huuskonen

Decidability of Fluted Logic with Identity

JOURNAL ARTICLE published 1 January 1996 in Notre Dame Journal of Formal Logic

Authors: William C. Purdy

Rejection and Truth-Value Gaps

JOURNAL ARTICLE published 1 October 1999 in Notre Dame Journal of Formal Logic

Authors: Fred Johnson

Subintuitionistic Logics

JOURNAL ARTICLE published 1 January 1994 in Notre Dame Journal of Formal Logic

Authors: Greg Restall

A Single Axiom for Set Theory

JOURNAL ARTICLE published 1 April 2000 in Notre Dame Journal of Formal Logic

Authors: David Bennett

Nonstandard Functional Interpretations and Categorical Models

JOURNAL ARTICLE published 1 January 2017 in Notre Dame Journal of Formal Logic

Authors: Amar Hadzihasanovic | Benno van den Berg

Upward Stability Transfer for Tame Abstract Elementary Classes

JOURNAL ARTICLE published 1 April 2006 in Notre Dame Journal of Formal Logic

Authors: John Baldwin | David Kueker | Monica VanDieren

Basic Predicate Calculus

JOURNAL ARTICLE published 1 January 1998 in Notre Dame Journal of Formal Logic

Authors: Wim Ruitenburg

A Simple Proof and Some Difficult Examples for Hindman's Theorem

JOURNAL ARTICLE published 1 January 2012 in Notre Dame Journal of Formal Logic

Authors: Henry Towsner

Acceptable notation.

JOURNAL ARTICLE published 1 January 1982 in Notre Dame Journal of Formal Logic

Authors: Stewart Shapiro

Church's Thesis and the Conceptual Analysis of Computability

JOURNAL ARTICLE published 1 April 2007 in Notre Dame Journal of Formal Logic

Authors: Michael Rescorla

Some Results and Problems on Complex Germs with Definable Mittag–Leffler Stars

JOURNAL ARTICLE published 1 January 2013 in Notre Dame Journal of Formal Logic

Authors: A. J. Wilkie

Montague’s Paradox, Informal Provability, and Explicit Modal Logic

JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic

Authors: Walter Dean

Speech Acts, Categoricity, and the Meanings of Logical Connectives

JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic

Authors: Ole Thomassen Hjortland

Lowness for Difference Tests

JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic

Authors: David Diamondstone | Johanna N. Y. Franklin

Independence, Relative Randomness, and PA Degrees

JOURNAL ARTICLE published 1 January 2014 in Notre Dame Journal of Formal Logic

Authors: Adam R. Day | Jan Reimann

Note on Extending Congruential Modal Logics

JOURNAL ARTICLE published 1 January 2016 in Notre Dame Journal of Formal Logic

Authors: Lloyd Humberstone

Forking in Finite Models

JOURNAL ARTICLE published 1 January 2015 in Notre Dame Journal of Formal Logic

Authors: Tapani Hyttinen